Methods of proof - PDFSEARCH.IO - Document Search Engine

Methods of proof
Results: 168

#	Item
161	Reports and Articles Social Processes and Proofs of Theorems Add to Reading List Source URL: www.csee.umbc.edu Language: English - Date: 2008-09-16 22:24:39 Formal methods Philosophy of mathematics Theoretical computer science Mathematical proof Formal verification Theorem Richard J. Lipton Algorithm Mathematical beauty Mathematics Logic Mathematical logic
162	WHITHER MATHEMATICS? E.B. Davies 15 December 2004 Add to Reading List Source URL: www.mth.kcl.ac.uk Language: English - Date: 2004-12-17 11:21:14 Proof theory Philosophy of mathematics Formal methods Logic in computer science Computer-assisted proof Mathematical proof Axiomatic system Theorem Undecidable problem Mathematics Logic Mathematical logic
163	STUDIES IN LOGIC, GRAMMAR AND RHETORIC[removed]Gradual Computerisation/Formalisation of Add to Reading List Source URL: mizar.org Language: English - Date: 2010-03-05 21:10:35 Automated proof checking Theoretical computer science Applied mathematics Mizar and Alcor Mizar Mathematics Proof theory Tarski–Grothendieck set theory Correctness Mizar system Formal methods Ursa Major constellation
164	The Birth of Model Checking Edmund M. Clarke [removed] Add to Reading List Source URL: www.model.in.tum.de Language: English - Date: 2008-03-26 08:39:11 Formal methods Model checkers Turing Award laureates Proof theory Model checking Formal verification Temporal logic Edmund M. Clarke Concurrency Logic Theoretical computer science Mathematics
165	DRAFT The Notion of Proof in Hardware Veri cation Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-08-23 05:39:16 Formal sciences Formal methods Dodge Viper VIPER microprocessor Viper Mathematical proof METAR Theorem Logic Transport Mathematics
166	Automatic Guidance for the Formal Verification of High Integrity Ada Final Report of EPSRC Grant GR/R24081 Andrew Ireland Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2005-02-04 10:21:20 Automated theorem proving Formal methods Logic in computer science Proof theory SPARK Automated proof checking Formal verification Mathematical proof Automated reasoning Theoretical computer science Mathematics Applied mathematics
167	PDF Document Add to Reading List Source URL: www.csee.umbc.edu Language: English - Date: 2008-09-16 22:24:39 Formal methods Philosophy of mathematics Theoretical computer science Mathematical proof Formal verification Theorem Richard J. Lipton Algorithm Mathematical beauty Mathematics Logic Mathematical logic
168	PDF Document Add to Reading List Source URL: www.easychair.org Language: English - Date: 2006-10-20 11:59:18 Theoretical computer science Automated theorem proving Formal methods Philosophy of mathematics Logic in computer science Automated reasoning Formal verification Mathematical logic Formal proof Mathematics Logic Applied mathematics